Note on the Tableau Technique for Commutative Transition Systems
نویسنده
چکیده
We define a class of transition systems called effective commutative transition systems (ECTS) and show, by generalising a tableaubased proof for BPP, that strong bisimilarity between any two states of such a transition system is decidable. It gives a general technique for extending decidability borders of strong bisimilarity for a wide class of infinite-state transition systems. This is demonstrated for several process formalisms, namely BPP process algebra, lossy BPP processes, BPP systems with interrupt and timed-arc BPP nets.
منابع مشابه
A SHORT PROOF FOR THE EXISTENCE OF HAAR MEASURE ON COMMUTATIVE HYPERGROUPS
In this short note, we have given a short proof for the existence of the Haar measure on commutative locally compact hypergroups based on functional analysis methods by using Markov-Kakutani fixed point theorem.
متن کاملA note on a graph related to the comaximal ideal graph of a commutative ring
The rings considered in this article are commutative with identity which admit at least two maximal ideals. This article is inspired by the work done on the comaximal ideal graph of a commutative ring. Let R be a ring. We associate an undirected graph to R denoted by mathcal{G}(R), whose vertex set is the set of all proper ideals I of R such that Inotsubseteq J(R), where J(R) is...
متن کاملApplication of ANN Technique for Interconnected Power System Load Frequency Control (RESEARCH NOTE)
This paper describes an application of Artificial Neural Networks (ANN) to Load Frequency Control (LFC) of nonlinear power systems. Power systems, such as other industrial processes, have parametric uncertainties that for controller design had to take the uncertainties in to account. For this reason, in the design of LFC controller the idea of robust control theories are being used. To improve ...
متن کاملA Note on a graph associated to a commutative ring
The rings considered in this article are commutative with identity. This article is motivated by the work on comaximal graphs of rings. In this article, with any ring $R$, we associate an undirected graph denoted by $G(R)$, whose vertex set is the set of all elements of $R$ and distinct vertices $x,y$ are joined by an edge in $G(R)$ if and only if $Rxcap Ry = Rxy$. In Section 2 of this articl...
متن کاملA note on the socle of certain types of f-rings
For any reduced commutative $f$-ring with identity and bounded inversion, we show that a condition which is obviously necessary for the socle of the ring to coincide with the socle of its bounded part, is actually also sufficient. The condition is that every minimal ideal of the ring consist entirely of bounded elements. It is not too stringent, and is satisfied, for instance, by rings of ...
متن کامل